Subset and Union Properties in Modeling Languages
نویسندگان
چکیده
This paper discusses the new property characteristics in the Meta Object Facility 2.0, namely subset and union properties. They are heavily used in the Unified Modeling Language 2.0 standard, but lack a formal definition. We give our understanding of the new characteristics by formalizing subsets and unions using substitutability as our criterion. We present basic operations to create and edit models that use subset and unions properties. These operations form the basis of a model repository component in a modeling tool and are required to support Unified Modeling Language 2.0 models.
منابع مشابه
ON THE SYSTEM OF LEVEL-ELEMENTS INDUCED BY AN L-SUBSET
This paper focuses on the relationship between an $L$-subset and the system of level-elements induced by it, where the underlying lattice $L$ is a complete residuated lattice and the domain set of $L$-subset is an $L$-partially ordered set $(X,P)$. Firstly, we obtain the sufficient and necessary condition that an $L$-subset is represented by its system of level-elements. Then, a new representat...
متن کاملCreating Constructivist Learning Scenarios Using an Educative Modeling Language
This paper illustrates the use of PALO, a general-purpose Educative Modeling Language (EML), to embed constructivist features in distance learning scenarios. Educative Modeling Languages allow describing learning content using an XML-based representation independent from the final delivery format, thus providing a higher level of abstraction in the authoring process. We have defined a subset ...
متن کاملOn Union-Free and Deterministic Union-Free Languages
The paper continues the study of union-free and deterministic union-free languages. In contrast with the fact that every regular language can be described as a finite union of union-free languages, we show that the finite unions of deterministic union-free languages define a proper subfamily of regular languages. Then we examine the properties of this subfamily.
متن کاملdominating subset and representation graph on topological spaces
Let a topological space. An intersection graph on a topological space , which denoted by , is an undirected graph which whose vertices are open subsets of and two vertices are adjacent if the intersection of them are nonempty. In this paper, the relation between topological properties of and graph properties of are investigated. Also some classifications and representations for the graph ...
متن کاملAligning SysML with the B Method to Provide V&V for Systems Engineering
Systems engineering, and especially the modeling of safety critical systems, needs proper means for early Validation and Verification (V&V) to detect critical issues as soon as possible. The objective of our work is to identify a verifiable subset of SysML that is usable by system engineers, while still amenable to automatic transformation towards formal verification tools. As we are interested...
متن کامل